The multiple intersection property for path derivatives
نویسندگان
چکیده
منابع مشابه
Modules with copure intersection property
In this paper, we investigate the modules with the copure intersection property and obtained obtain some related results.
متن کاملA Finite Model Property for Intersection Types
We show that the relational theory of intersection types known as BCD has the finite model property; that is, BCD is complete for its finite models. Our proof uses rewriting techniques which have as an immediate by-product the polynomial time decidability of the preorder ⊆ (although this also follows from the so called beta soundness of BCD). BCD is the relational theory of intersection types p...
متن کاملMazur Intersection Property for Asplund Spaces
The main result of the present note states that it is consistent with the ZFC axioms of set theory (relying on Martin’s Maximum MM axiom), that every Asplund space of density character ω1 has a renorming with the Mazur intersection property. Combined with the previous result of Jiménez and Moreno (based upon the work of Kunen under the continuum hypothesis) we obtain that the MIP renormability ...
متن کاملThe Mazur Intersection Property and Farthest Points
K. S. Lau had shown that a reflexive Banach space has the Mazur Intersection Property (MIP) if and only if every closed bounded convex set is the closed convex hull of its farthest points. In this work, we show that in general this latter property is equivalent to a property stronger than the MIP. As corollaries, we recapture the result of Lau and characterize the w*-MIP in dual of RNP spaces.
متن کاملThe finite representation property for composition, intersection, domain and range
We prove that the finite representation property holds for representation by partial functions for the signature consisting of composition, intersection, antidomain and range. It follows that the finite representation property holds for any expansion of this signature with the fixset, preferential union, maximum iterate and opposite operators. The proof shows that for all these signatures the s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1987
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-128-1-1-6